Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
81	Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:29:52 Mathematical logic Theoretical computer science Formal methods Logic Logic in computer science Hardware verification languages Model checking Formal verification E Gmail Aspect-oriented software development Propositional calculus
82	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D15 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-05-18 04:39:28 Software Automated theorem proving Formal methods Rodin Eclipse Nullsoft Scriptable Install System Rodin tool
83	Putting the User in Usable Verification Kathi Fisler WPI Department of Computer Science (joint work with Shriram Krishnamurthi, Brown University) November 3, 2010 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-03 22:22:08 Software engineering Formal methods Theoretical computer science Systems engineering Business Logic in computer science Formal verification Verification and validation Requirement Object Process Methodology Runtime verification
84	DevOps Meets Formal Modelling in High-Criticality Complex Systems Marta Olszewska Marina Waldén Add to Reading List Source URL: tusiek.unforgiven.pl Language: English - Date: 2015-08-21 02:07:30 Software development Software engineering Software development process Agile software development Project management Formal methods Software project management DevOps Scrum Agile management Requirement Formal specification
85	On the Syntax and Semantics of Effect Axioms Haythem O. Ismail Department of Computer Science German University in Cairo e-mail: Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-09 04:22:06 Logic Mathematical logic Formal systems Abstraction Axiom Logic programming Mereology
86	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D29 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-07 10:26:15 Software engineering Computing Engineering Formal methods Safety Software quality Control engineering Fault tolerance Rodin tool Life-critical system Dependability Control theory
87	Microsoft Word - O-MaSEMALLOW_LNCSFormat_Final.doc Add to Reading List Source URL: www.pa.icar.cnr.it Language: English - Date: 2011-10-25 11:02:37 Software engineering Scientific modeling Computing Systems science Process management Software development process Formal methods Object Process Methodology Business process modeling Agent-based model Requirement Metamodeling
88	Modern model-based development approach for embedded systems Practical Experience Sergey Vinogradov Artem Ozhigin Corporate Technology, Research and Technology Center Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Computing Systems engineering Project management Formal methods Unified Modeling Language Modeling language Domain-specific language Software development Model-driven engineering Computer programming Requirement
89	The Influence of Software Module Systems on Modular Verification Harry Li , Kathi Fisler and Shriram Krishnamurthi Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:30:39 Hardware verification languages E Component-based software engineering Model checking Modularity Modular programming Aspect-oriented software development Formal verification
90	Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)? C´esar A. Mu˜ noz NASA Langley Research Center, Hampton, Virginia Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-11-24 11:55:34 Avionics Theoretical computer science Aircraft collision avoidance systems Warning systems Traffic collision avoidance system Air traffic control Formal methods Self-separation Unmanned aerial vehicle Formal verification

UPDATE